81. Computation, logic, games, and quantum foundations :
پدیدآورنده : Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
رده :
QA76
.
B633
2013
82. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
83. Computations in higher types
پدیدآورنده : Moldestad, Johan
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursive functions
رده :
QA
3
.
L28
no
.
574
84. Computations in higher types
پدیدآورنده : Moldestad, Johan
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
85. Computations in higher types
پدیدآورنده : Moldestad, Johan
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursive functions
رده :
QA
1
.
L4
v
.
574
86. Computations in higher types
پدیدآورنده : Moldestad, Johan, 6491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursive functions
رده :
QA
3
.
L28
Vol
.
574
87. Computations in higher types, Lecture notes in mathematics
پدیدآورنده : Moldestad, Johan,6491-, Johan Moldestad
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Recursive functions
رده :
QA
3
.
M6C6
1977
88. Computer Mathematics
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
89. Computer Networks and Systems
پدیدآورنده : by Thomas G. Robertazzi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Statistics.
90. Computer-aided design and manufacturing :
پدیدآورنده : T Kohonen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TS155
.
6
T564
2012
91. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
92. Counterparty credit risk, collateral and funding :
پدیدآورنده : Damiano Brigo, Massimo Morini, Andrea Pallavicini
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Credit derivatives-- Mathematical models.,Credit-- Mathematical models.,Finance-- Mathematical models.,Financial risk-- Mathematical models.
رده :
HG106
93. Data structure programming :
پدیدآورنده : Joseph Bergin
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
73
.
C153
J674
2013
94. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
S2
1966
95. Degrees of unsolvability
پدیدآورنده : / by Joseph R. Shoenfield
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Recursive functions
رده :
511
Sh-D
96. Degrees of unsolvability
پدیدآورنده : Shoenfield, Joseph Robert
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
رده :
QA
9
.
S518
97. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
98. Difference and differential equations with applications in queueing theory /
پدیدآورنده : Aliakbar M. Haghighi Department of Mathematics, Prairie View A and M University, Prairie View, Texas, Dimitar P. Mishev Department of Mathematics, Prairie View A and M University, Prairie View, Texas
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Difference equations,Differential equations,Queuing theory,Difference equations,Differential equations,Mathematics,Queuing theory
رده :
QA274
.
8
99. Discrete mathematics with proof
پدیدآورنده : Eric Gossett.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA39
.
3
E753
2003
